Mobile Object Net Systems: Petri Nets as Active Tokens
نویسنده
چکیده
In this work we present the model of “mobile object net systems” – an algebraic formalisation of the “nets within nets”-paradigm, which is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of “nets within nets” covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile computing. As a main result of this contribution, we derive an algebraic model for “nets within nets” in the “Petri nets are monoids” style.
منابع مشابه
Concurrency in Communicating Object Petri Nets
Objects are studied as higher-level net tokens having an individual dynamical behaviour. In the context of Petri net research it i s quite natural to also model such tokens by Petri nets. To distinguish them from the system net, they are called object nets. Object nets behave like tokens, i.e., they are lying in places and are moved by transitions. In contrast to ordinary tokens, however, they ...
متن کاملComplexity of LTL Model-Checking for Safe Object Nets
In this paper we present recently obtained results from [14] concerning the complexity of LTL model checking of safe Elementary Object Nets (Eos) in a novel and more algorithmic oriented way. Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. Object nets are called elementary if the net system has a two levelled structure. Due to the...
متن کاملReachable Markings of Object Petri Nets
In this article I will prove undecidability results for elementary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the “nets-within-nets” paradigm. Eos are special object net system which have a two leveled structure.
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملObject Petri Nets: Using the Nets-within-Nets Paradigm
The nets-within-nets paradigm provides an innovative modelling technique by giving tokens themselves the structure of a Petri net. These nets, called token nets or object nets, also support the object oriented modelling technique as they may represent real world objects with a proper dynamical behaviour. Between object nets and the surrounding net, called system net, various interaction mechani...
متن کامل